Automatic Generation of Minimal Cut Sets
نویسندگان
چکیده
منابع مشابه
Automatic Generation of Minimal Cut Sets
A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach...
متن کاملMinimal cut sets in biochemical reaction networks
MOTIVATION Structural studies of metabolic networks yield deeper insight into topology, functionality and capabilities of the metabolisms of different organisms. Here, we address the analysis of potential failure modes in metabolic networks whose occurrence will render the network structurally incapable of performing certain functions. Such studies will help to identify crucial parts in the net...
متن کاملThe Generation of Minimal Tests Sets and Some Minimal Tests
In this paper the method for a problem solution of expenditures reduction of computing resources and time is developed at a pattern recognition. The way of construction of the minimum tests sets or separate minimum tests on Boolean matrixes is suggested. Some minimum tests can be received by using a consequence for improvement of the minimum test length from the theorem given in paper. It is po...
متن کاملAutomatic Generation of Validated Specific Epitope Sets
Accurate measurement of B and T cell responses is a valuable tool to study autoimmunity, allergies, immunity to pathogens, and host-pathogen interactions and assist in the design and evaluation of T cell vaccines and immunotherapies. In this context, it is desirable to elucidate a method to select validated reference sets of epitopes to allow detection of T and B cells. However, the ever-growin...
متن کاملTime-Dependent Generation of Minimal Sets of Spatial Descriptions
Talking about a location within a geometrically represented environment implies the translation of coordinates into suitable natural language expressions. Therefore, a reference semantics anchored in the given geometry has to be developed in order to be able to describe spatial relations between objects. Answering the question \Where is object X?" will lead to a large set of spatial proposition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.184.3